update-spec1(k; x; n; s,v.f(s;v)) == fpf-single(<k, x>; cons(<n, s,v. f(s;v)>; [])) 

latex

Definitions	fpf-single(x; v), cons(car; cdr), <a, b>, x.A(x), []
FDL editor aliases	update-spec1